9c063cff1851470139630b56a328633cd1e9067f,VUE2/src/tufts/vue/ObjectInspectorPanel.java,ObjectInspectorPanel,setTab,#number#,390

Before Change


        } else if (pTabKey == INFO_TAB ) {
            mTabbedPane.setSelectedComponent( mInfoPanel );
        } else if (pTabKey == TREE_TAB ) {
            mTabbedPane.setSelectedComponent( mTreePanel );
        } else if(pTabKey == FILTER_TAB) {
            mTabbedPane.setSelectedComponent(mNodeFilterPanel);
        }

After Change


            picked = mNodeFilterPanel;
        }
        if (picked != null) {
            if (WidgetStackImpl)
                Widget.setExpanded(picked, true);
            else
                mTabbedPane.setSelectedComponent(picked);
        }
        Window w = javax.swing.SwingUtilities.getWindowAncestor(this);
        if (w != null)